$\forall$${\it ll}_{1}$, ${\it ll}_{2}$:(Top List) List. concat(${\it ll}_{1}$ @ ${\it ll}_{2}$) $\sim$ (concat(${\it ll}_{1}$) @ concat(${\it ll}_{2}$))